Common Lisp Quick Reference

SNMP for Common Lisp

Simple Network Management Protocol (SNMP) is widely used for management of Internet-based network today. In Lisp community, there’re large Lisp-based applications which may need be monitored, and there’re Lispers who may need to monitor other remote systems which are either Lisp-based or not. However, the relationship between Lisp and SNMP haven’t been studied enough during past 20 years. The C...

Automated Proofs ofObject Code for aWidely Used Microprocessor 1

We have formally described a substantial subset of the MC68020, a widely used microprocessor built by Motorola, within the mathematical logic of the automated reasoning system Nqthm, a.k.a. the Boyer-Moore Theorem Prover 6]. Using this formal description, we have mechanically checked the correctness of MC68020 object code programs for binary search, Hoare's Quick Sort, twenty-one functions from...

Comparative Performance Evaluation of Garbage Collection Algorithms

This thesis shows that object-level, trace-driven simulation can facilitate evaluation of language runtime systems and reaches new conclusions about the relative performance of important garbage collection algorithms. In particular, I reach the unexpected conclusion that mark-and-sweep garbage collection, when augmented with generations, shows comparable CPU performance and much better referenc...

Lisp: Good News, Bad News, How to Win Big

Lisp has done quite well over the last ten years: becoming nearly standardized, forming the basis of a commercial sector, achieving excellent performance, having good environments, able to deliver applications. Yet the Lisp community has failed to do as well as it could have. In this paper I look at the successes, the failures, and what to do next. The Lisp world is in great shape: Ten years ag...

Khepera-LISP Interface for Allegro Common LISP